\begin{tabbing}
es{-}er(${\it es}$; $l$; ${\it tg}$; $e$,$v$.$P$($e$;$v$))
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$\=$e$:es{-}E(${\it es}$)\+
\\[0ex](($\uparrow$es{-}isrcv(${\it es}$; $e$))
\\[0ex]\& es{-}lnk(${\it es}$; $e$) = $l$ $\in$ IdLnk
\\[0ex]\& es{-}tag(${\it es}$; $e$) = ${\it tg}$ $\in$ Id
\\[0ex]\& $P$($e$;es{-}val(${\it es}$; $e$)))
\-
\end{tabbing}